Zertifizierung einer Sicherungskomponente mittels durchgängig formaler Modellierung
نویسندگان
چکیده
Dieses Papier berichtet über Arbeiten im Rahmen des Projektes SAMS, in welchem eine Fahrwegsicherungskomponente für Serviceroboter und fahrerlose Transportsysteme entwickelt und ihre Software nach IEC 61508 zertifiziert wird. Neu ist hierbei der durchgehende Einsatz formaler Modellierung und Beweis als Mittel zur Zertifizierung, das es uns erlaubt, die erforderlichen Sicherheitsbedingungen sehr abstrakt mathematisch zu formulieren, und gleichzeitig den Bezug zur Implementierung bewiesen korrekt herzustellen.
منابع مشابه
Generierung maßgeschneiderter Relationenschemata in Softwareproduktlinien mittels Superimposition
Zusammenfassung Die Erstellung eines individuellen Programms aus einer Softwareproduktlinie (Programmfamilie) erfordert auf Anwendungsund Datenbankseite einen speziell angepassten und aufeinander abgestimmten Funktionsumfang. Die Modellierung maßgeschneiderter Relationenschemata stellt z.B. aufgrund der großen Anzahl an Programmen, die aus einer Produktlinie erstellt werden können, eine Herausf...
متن کاملEin Ansatz zur Unterstützung des Kostümmanagements im Film auf Basis einer Mustersprache
Das Kostüm im Film ist ein komplexes Konstruktionsinstrument, welches der Charakterisierung der Figuren, des Raums und der Zeit dient. Recherche, Entwurf und Wissensmanagement von Kostümen werden derzeit meist mit Hilfe zeit-, kostenund ressourcenintensiver Analyse von Datensätzen in Microsoft Excel durchgeführt. Darüber hinausgehende Unterstützung durch ITWerkzeuge beschränkt sich auf die einf...
متن کاملIn-Silico Modellierung von Tumorwachstum: Approximation des Tumormasseeffektes mittels Thin-Plate-Splines
In der vorliegenden Arbeit wird ein neuartiges Modell zur Modellierung des Masseeffekts von primären Hirntumoren beschrieben. Die Progression des Tumors wird mittels einer deterministischen Reaktions-Diffusionsgleichung, welche auf einem hochauflösenden, regulären Gitter diskretisiert wird, modelliert. Für die Beschreibung der raumfordernden Wirkung des Tumors wird die resultierende Verteilung ...
متن کاملEin Ontologie-basiertes Modell für Indexierung und Retrieval
In diesem Beitrag wird ausgehend von einem ungelösten Problem der Informationserschließung ein Modell vorgestellt, das die Methoden und Erfahrungen zur inhaltlichen Dokumenterschließung mittels kognitiv zu interpretierender Dokumentationssprachen mit den Möglichkeiten formaler Wissensrepräsentation verbindet. Die Kernkomponente des Modells besteht aus der Nutzung von Inferenzen entlang der Pfad...
متن کاملInteraktive Visualisierung von Wissensressourcen einer Lerncommunity und Modellierung eines Ressourcenpfads
Ziel der CROKODIL-Lernumgebung ist die Unterstützung des selbstgesteuerten Ressourcen-basierten Lernens mit Webressourcen. Eine zentrale Funktion dieser Lernumgebung besteht darin, dass die Nutzer im Lernprozess verwendete Webressourcen speichern, annotieren und mit Tags verschlagworten können. Ressourcen und Tags bilden zusammen ein Netz. Dieser Beitrag beschreibt ausgehend von einer Darstellu...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2008